1741. Systolic computations
پدیدآورنده : Frumkin, Mikhail Aleksandrovich
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer algorithms,، Systolic array circuits,، Integrated circuits -- Large scale integration
رده :
QA
76
.
9
.
A43
F78
1992
1742. Systolic computations
پدیدآورنده : Frumkin, Mikhail Aleksandrovich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer algorithms,، Systolic array circuits,، Integrated circuits -- Large scale integration
رده :
QA
76
.
9
.
A43F8
1743. Systolic parallel processing
پدیدآورنده : Petkov, Nikolay
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer algorithms
رده :
QA
76
.
58
.
P48
1993
1744. TREAT :
پدیدآورنده : Daniel P. Miranker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Artificial intelligence.,Expert systems (Computer science),Parallel processing (Electronic computers)
1745. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
1746. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
1747. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
1748. Testing and tuning market trading systems :
پدیدآورنده : Timothy Masters.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
1749. The Amazing Journey of Reason
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
1750. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
1751. The Lanczos method :
پدیدآورنده : Louis Komzsik
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
رده :
QA76
.
9
.
M35
K66
2003
1752. The Lanczos method: evolution and application
پدیدآورنده : Komzsik, Louis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
رده :
QA
76
.
9
.
M35
K66
1753. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
1754. The Macintosh bible /
پدیدآورنده : Sharon Zardetto Aker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
1755. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science.
1756. The P=NP question and Geodel's lost letter
پدیدآورنده : Richard J. Lipton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
1757. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
1758. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Data mining,، Computer algorithms
رده :
QA
76
.
9
.
D343
T66
2009
1759. The algorithm design manual
پدیدآورنده : Steven S. Skiena,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer algorithms
رده :
EBOOK
,
QA
.
A43
,
S55
76
.
9
2008
1760. The algorithm design manual
پدیدآورنده : Skiena, Steven S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
S55
2008